" Sandro Etalle" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Aspects of Security and Trust, 7th International Workshop, FAST 2010 Pisa, Italy, September 16-17, 2010 Revised

Pierpaolo Degano, Sandro Etalle, Joshua Guttman

2.82 Mb

#2

Trust Management: Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIP International Federation ... Federation for Information Processing)

Sandro Etalle, Stephen Marsh

23.47 Mb

#3

Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004

Категория: Cs_Computer science, CsLn_Lecture notes

1.78 Mb

#4

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Sandro Etalle, Miroslav Truszczynski

4.80 Mb